(* Copyright (C) 2010 School of Software Engineering, 
 * University of Science and Technology of China.
 *
 * This code is released under a BSD-style license.
 * See the file LICENSE for details.
 *)

signature FILE =
sig
    type t
   
    val appendName: t * string -> t
    val bogus: unit -> t
    val compare: t * t -> order
    val creat: string -> t
    val equals: t * t -> bool
    val exists: t -> bool
    val output: string * string -> unit
    val println: t -> unit
    val read: t -> string
    val nameToString: t -> string
    val write: t * string -> unit
end
